Sava Krstić: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Actions of finite groups on graphs and related automorphisms of free groups

Journal:

Journal of Algebra

Year:

1989

Language:

english

File:

PDF, 1.18 MB

english, 1989

2

Systems of equations over locallyp-indicable groups

Journal:

Inventiones mathematicae

Year:

1985

Language:

english

File:

PDF, 308 KB

english, 1985

3

Equivariant outer space and automorphisms of free-by-finite groups

Sava Krstić, Karen Vogtmann

Journal:

Commentarii Mathematici Helvetici

Year:

1993

Language:

english

File:

PDF, 1.93 MB

english, 1993

4

The non-finite presentability of IA(F3) and GL2(Z[t, t−1])

Sava Krstić, James McCool

Journal:

Inventiones mathematicae

Year:

1997

Language:

english

File:

PDF, 414 KB

english, 1997

5

Fixed subgroups of automorphisms of free by finite groups: An extension of Cooper's proof

Journal:

Archiv der Mathematik

Year:

1987

Language:

english

File:

PDF, 310 KB

english, 1987

6

Combined Buccal Mucosa Graft and Dorsal Penile Skin Flap for Repair of Severe Hypospadias

Miroslav L. Djordjevic, Marko Majstorovic, Dusan Stanojevic, Marta Bizic, Vladimir Kojovic, Vojkan Vukadinovic, Gradimir Korac, Zoran Krstic, Sava V. Perovic

Journal:

Year:

2008

Language:

english

File:

PDF, 1.61 MB

english, 2008

7

[IEEE 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - Arlington, VA, USA (2014.5.6-2014.5.7)] 2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) - Security of SoC firmware load protocols

Krstic, Sava, Yang, Jin, Palmer, David W., Osborne, Randy B., Talmor, Eran

Year:

2014

Language:

english

File:

PDF, 275 KB

english, 2014

8

Free Quotients of SL2(R[ x ])

Sava Krstić and James McCool

Journal:

Proceedings of the American Mathematical Society

Year:

1997

Language:

english

File:

PDF, 209 KB

english, 1997

9

Preface

Sava Krstić, Albert Oliveras

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 88 KB

english, 2008

10

Mothers of Pipelines

Sava Krstić, Robert B. Jones, John O'Leary

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

11

Strategies for combining decision procedures

Sylvain Conchon, Sava Krstić

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 353 KB

english, 2006

12

Presenting GLn(k〈T〉)

Sava Krstić, James McCool

Journal:

Journal of Pure and Applied Algebra

Year:

1999

Language:

english

File:

PDF, 87 KB

english, 1999

13

A uniqueness decomposition theorem for actions of finite groups on free groups

Journal:

Journal of Pure and Applied Algebra

Year:

1989

Language:

english

File:

PDF, 1.11 MB

english, 1989

14

Tool Building Requirements for an API to First-Order Solvers

Jim Grundy, Tom Melham, Sava Krstić, Sean McLaughlin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 207 KB

english, 2006

15

Canonization for disjoint unions of theories

Sava Krstić, Sylvain Conchon

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 401 KB

english, 2005

16

Surgical treatment of intersex disorders

Zoran Krstić, Sava Perovic, Slobodan Radmanović, Svetislav Necić, Svetislav Necić, Željko Smoljanić, Predrag Jevtić

Journal:

Journal of Pediatric Surgery

Year:

1995

Language:

english

File:

PDF, 14.18 MB

english, 1995

17

Continent urinary diversion. Variations on the Ureteric Mitrofanoff Conduit

Zoran Krstic, Milan Paunovic, Vojkan Vukadinovic, Zeljko Smoljanic, Dragan Vukanic, Miroslav Djordjevic, Sava Perovic

Journal:

Journal of Pediatric Urology

Year:

2010

Language:

english

File:

PDF, 35 KB

english, 2010

18

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Synchronous Elastic Networks

Krstic, Sava, Cortadella, Jordi, Kishinevsky, Mike, O'Leary, John

Year:

2006

Language:

english

File:

PDF, 419 KB

english, 2006

19

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Invariants for finite instances and beyond

Conchon, Sylvain, Goel, Amit, Krstic, Sava, Mebsout, Alain, Zaidi, Fatiha

Year:

2013

Language:

english

File:

PDF, 311 KB

english, 2013

20

Normal Forms for Basis-Conjugating Automorphisms of a Free Group

Gutiérrez, Mauricio, Krstić, Sava

Journal:

International Journal of Algebra and Computation

Year:

1998

Language:

english

File:

PDF, 4.11 MB

english, 1998

21

[ACM Press the 6th ACM SIGPLAN international conference - Verona, Italy (2004.08.24-2004.08.26)] Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04 - Semantics of the reFL ect language

Krstić, Sava, Matthews, John

Year:

2004

Language:

english

File:

PDF, 215 KB

english, 2004

22

[ACM Press the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop - Princeton, New Jersey (2008.07.07-2008.07.14)] Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning - SMT '08/BPR '08 - Deciding array formulas with frugal axiom instantiation

Goel, Amit, Krstić, Sava, Fuchs, Alexander

Year:

2008

Language:

english

File:

PDF, 345 KB

english, 2008

23

AN EQUIVARIANT WHITEHEAD ALGORITHM AND CONJUGACY FOR ROOTS OF DEHN TWIST AUTOMORPHISMS

Krstić, Sava, Lustig, Martin, Vogtmann, Karen

Journal:

Proceedings of the Edinburgh Mathematical Society

Year:

2001

Language:

english

File:

PDF, 474 KB

english, 2001

24

On Graphs Representing Automorphisms of Free Groups

Journal:

Proceedings of the American Mathematical Society

Year:

1989

Language:

english

File:

PDF, 197 KB

english, 1989

25

10.1090/s0002-9939-97-03809-4

Krstic, Sava, McCool, James

Journal:

Proceedings of the American Mathematical Society

Year:

1997

Language:

english

File:

PDF, 141 KB

english, 1997

26

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - FAR-Cubicle — A new reachability algorithm for Cubicle

Conchon, Sylvain, Goel, Amit, Krstic, Sava, Majumdar, Rupak, Roux, Mattias

Year:

2017

Language:

english

File:

PDF, 107 KB

english, 2017